miniOS.C int scheduler_init(void)

{

if(task_manage.max_task_id < 0)

{

return −1;

}

TCB_PtrCurrentTask = &TCB;

TCB_PtrNextTask = &task_manage.free_task_pool[0];

mini_current_index = −1;

return 0;

}